An Enumeration is a Datatype whose possible values are enumerated in the model as Enumeration Literals.
